Related to ticket: 3097570
I would like jEdit to manage toolbars. And allow them to share vertical space.
We need to define a service for toolbars like we have for dockables, and we need to
incorporate toolbars into the perspective? docking layout? what?
Submitted | ezust - 2011-12-10 - 17:48:32z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | None |
Status | Open | Group | None |
Resolution | None | Visibility | No |